/**
 * Setvor project
 */
package setvor.lang.machine;

import java.util.Set;

import setvor.lang.*;

/**
 * @author julatec
 *
 */
public abstract class NonDeterministicFiniteAutomaton<Q extends State<Q>, S>
		extends FiniteAutomaton<Q, S> {

	/**
	 * @param states
	 * @param initial
	 */
	public NonDeterministicFiniteAutomaton(Set<Q> states, Set<Q> initial) {
		super(states, initial);
	}

}
